TOPOS THEORY EXAMPLES 2 (Lent TermO. Caramello . Show that the degenerate topos 1 with one object and one (identity) morphism is initial (in a suitable weak sense) in the 2-category Top of elementary toposes and g

Source URL: www.oliviacaramello.com

Microsoft Word - cognitive influences on attention - overhauled.doc

Source URL: sapir.psych.wisc.edu

• Attention
• Central nervous system
• Perception
• Neuropsychology
• Visual cortex
• Object-based attention
• Biased Competition Theory

M Machine Recognition of Objects Tomaso Poggio and Shimon Ullman Department of Brain and Cognitive Sciences, McGovern Institute, Massachusetts Institute of

Source URL: www.cse.cuhk.edu.hk

• Graph theory
• Mathematics
• Discrete mathematics
• Graph edit distance
• Graph rewriting
• Graph
• Outline of object recognition
• Conference on Computer Vision and Pattern Recognition
• Matching
• British Machine Vision Conference
• Graph coloring
• Skew-symmetric graph

Static Typing & JavaScript Libraries: ∗ Towards a More Considerate Relationship Benjamin Canou Emmanuel Chailloux

Source URL: www2013.wwwconference.org

• Type theory
• Object-oriented programming
• Data types
• Functional programming
• OCaml
• Structural type system
• Ocsigen
• Type system
• Duck typing
• Immutable object
• Caml
• Constant

ReIm & ReImInfer: Checking and Inference of Reference Immutability and Method Purity Wei Huang Ana Milanova

Source URL: homes.cs.washington.edu

• Data types
• Type theory
• Java
• Concurrent programming languages
• Object-oriented programming languages
• Immutable object
• Const
• Final
• Subtyping
• Scala
• Type qualifier
• Takes

Implicit Arguments: Event Modification or Option Type Categories? Chris Blom1 , Philippe de Groote2 , Yoad Winter3 , and Joost Zwarts3 1 CAI Master Program, Utrecht University

Source URL: www.phil.uu.nl

• Syntax
• Linguistics
• Grammar
• Semantics
• Parts of speech
• Type theory
• Valency
• Argument
• Intransitive verb
• Categorial grammar
• Raising
• Object

Inference and Checking of Object Ownership Wei Huang1 , Werner Dietl2 , Ana Milanova1 , and Michael D. Ernst2 1 Rensselaer Polytechnic Institute

Source URL: homes.cs.washington.edu

• Software engineering
• Type theory
• Programming language theory
• Computing
• Subtyping
• Type system
• System F
• HindleyMilner type system
• ML
• Type inference
• Typeof
• Is-a

JavaUI : Effects for Controlling UI Object Access (Extended Version)? Colin S. Gordon, Werner Dietl, Michael D. Ernst, and Dan Grossman University of Washington {csgordon,wmdietl,mernst,djg}@cs.washington.edu

Source URL: homes.cs.washington.edu

• Computing
• Software engineering
• Type theory
• Data types
• Java
• Object-oriented programming
• Swing
• Type system
• Polymorphism

TOPOS THEORY EXAMPLES 1 (Lent TermO. Caramello . Let C be a category such that, for each object c, the slice category C/c is equivalent to a small category, even though C may not be small. Show that the functor ca

Source URL: www.oliviacaramello.com